Trong lý thuyết tập hợp, một lớp là một họ các tập hợp (hoặc đôi khi là các đối tượng toán học khác) mà có thể được định nghĩa rõ ràng bởi một thuộc tính mà tất cả các thành viên của nó đều có.Một lớp mà không phải là một tập hợp (thí dụ theo hệ tiên đề Zermelo-Fraenkel) được gọi là một lớp đích thực (hay một lớp thực sự), và một lớp mà là một tập hợp đôi khi được gọi là một lớp nhỏ. Ví dụ, lớp tất cả các số thứ tự và lớp tất cả các tập hợp là các lớp đích thực (trong khá nhiều hệ tiên đề).